A conditional abortable priority ceiling protocol for scheduling mixed real-time tasks
نویسندگان
چکیده
Priority Ceiling Protocol (PCP) is a well-known resource access protocol for hard real-time systems. However, it has a problem of ceiling blocking which imposes a great hindrance to task scheduling in mixed real-time systems where tasks may have different criticality. In this paper, a new resource access protocol called the Conditional Abortable Priority Ceiling Protocol (CA-PCP) is proposed. It resolves the problem of ceiling blocking by incorporating a conditional abort scheme into the PCP. The new protocol inherits all the desirable properties of the PCP and the Ceiling Abort Protocol (CAP) which is yet another modification of the PCP. In the proposed protocol, a condition is defined to control the abort of a job so that the schedulability of the system will not be affected. Performance study has been done to compare the CA-PCP with the PCP. The results indicate that CA-PCP can significantly improve the performance of a system if the lengths of the abortable critical sections are well chosen.
منابع مشابه
Energy-Efficient Real-Time Scheduling of Tasks With Abortable Critical Sections
In this paper, an energy-efficient scheduling algorithm, called ceiling-based conditional abortable scheduling (CB-CAS) algorithm, is proposed to schedule periodic hard real-time tasks in a non-ideal DVS processor. Based on the schedulability analysis, CBCAS calculates a proper processor speed for task execution so that the energy consumption can be reduced without violating the timing constrai...
متن کاملReal-Time Synchronization Protocols with Abortable Critical Sections
Making critical sections abortable is a promising approach to reducing priority inversions. To improve the schedulability of a system using abortable critical sections, the maximum number of abortions should be decreased. In this paper, we propose a real-time synchronization protocol named the ceiling abort protocol (CAP) which introduces a new priority-based abort scheme to the priority ceilin...
متن کاملThe Ceiling Protocol in Multi-Moded Real-Time Systems1
Fixed-priority scheduling has become a very important approach for implementing real-time systems. Two key aspects of the method are its support for resource management using priority inheritance protocols and its ability to model modes of operation. In this paper, we discuss the impact of mode changes on the immediate inheritance priority ceiling protocol. We show that the approach adopted in ...
متن کاملThe Ceiling Protocol in Multi-moded Real-Time Systems
Fixed-priority scheduling has become a very important approach for implementing real-time systems. Two key aspects of the method are its support for resource management using priority inheritance protocols and its ability to model modes of operation. In this paper, we discuss the impact of mode changes on the immediate inheritance priority ceiling protocol. We show that the approach adopted in ...
متن کاملFormal Analysis of the Priority Ceiling Protocol
We present a case study in formal specification and toolassisted verification of real-time schedulers, based on the priority ceiling protocol. Starting from operational specifications of the protocol, we obtain rigorous proofs of both synchronization and timing properties, and we derive a schedulability result for sporadic tasks.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Journal of Systems Architecture
دوره 46 شماره
صفحات -
تاریخ انتشار 2000